61. Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
7
.
M378
1988
62. Mathematical foundations of programming semantics :
المؤلف: M. Main, A. Melton, M. Mislove ... [et al.], eds.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,sémantique programme.
رده :
QA76
.
7
M535
1990
63. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
المؤلف: M. Main...]et al.[, )eds.(
المکتبة: (طهران)
موضوع: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
442
64. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
7
.
M38
1990
65. Mathematical foundations of programming semantics:7th international conference pittshurgh,PA,USA,MArch 1991 proceedings
المؤلف: Mathematical foundations of programming semantics:7th international conference pittshurgh,PA,USA,MArch 1991 proceedings
المکتبة: (کرمان)
موضوع: programming languages)lecture notes in computers(-semantics-Congresses,Computer sciences-mathematics-congresses
رده :
QA
76
.
7
.
M38
1990
66. Mathematical programing , Proceedings of an advance seminar conducted by the mathemaics Resarch Center the univeristy of Wiscons Wisconssim, and the UlS. Army at Madison sept. 11-13 , 1972
المؤلف: Advanced seminar on Mathematical programmiong, Madison, 2791
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع: ، Programming ) Mathematics( - Congresses
رده :
QA
3
.
U45
67. Mathematical programming
المؤلف: / edited by T. C. Huand, Stephen M. Robinson, proceedings of an advenced seminar conducted by the Mathematical Research Center, the University of Wisconsin, and the U. S. Army at Madison, September 11-13, 1972
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Programming (Mathematics) - Congresses
رده :
658
.
4033
A244m
1972
68. Mathematical programming;
المؤلف:
المکتبة: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع: Programming (Mathematics) -- Congresses
رده :
3
.
U45
,
no
.
69. Mathematical programming Proceedings of...
المؤلف: ^aInterantional congress on mathematical programming, Riode Janeiro, 1981
المکتبة: المکتبه المرکزيه و مرکز الوثائق جامعه اصفهان (أصبهان)
موضوع: Programming (Mathematics)- Congresses
رده :
519
I61m
70. Mathematical programming; proceedings of an Advanced Seminar
المؤلف: Advanced Seminar on Mathematical Programming, Madison, Wis
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Programming )Mathematics(
رده :
T
57
.
7
.
A38
71. Mathematical programming; proceedings of an Advanced Seminar
المؤلف: Advanced Seminar on Mathematical Programming, 2791, Madison, Wis.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Programming )Mathematics(-- Congresses
رده :
QA
3
.
U45
no
.
30
72. Mathematical programming: recent developments and applications
المؤلف: edited by Masao Iri and Kunio Tanabe
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: Congresses ، Programming )Mathematics(
رده :
QA
402
.
5
.
M35288
73. Mathematical programs for activity analysis
المؤلف: Moeseke, Paul van
المکتبة: (طهران)
موضوع: Programming )Mathematics( Congresses
رده :
T
57
.
7
.
M63
1974
74. Mathematics of Program Construction
المؤلف: \ Ralf Hinze , Janis Voigtländer (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer programming -- Mathematics -- Congresses.,Computer programs -- Mathematics -- Congresses.,Logics and Meanings of Programs.,برنامه‌نویسی -- ریاضیات -- کنگره ها ,برنامه‌های کامپیوتری -- ریاضیات -- کنگره ها
رده :
QA
75
.
5
.
M32
2015
E-Book
,
75. Mathematics of program constructio
المؤلف: / Philippe Audebaud, Christine Paulin-Mohring (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer programming--Congresses,Computer science--Mathematics--Congresses,Electronic books.
رده :
QA
,
76
.
6
,.
I5535
,
2008eb
76. Mathematics of program construction
المؤلف: / Eerke A. Boiten, Bernhard M?�ller (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer programming--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
76
.
6
,.
M6926
,
2002
77. Mathematics of program construction
المؤلف: / Roland Backhouse, Josae Nuno Oliveira (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer programming--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
76
.
6
,.
I5535
,
2000
78. Mathematics of program construction :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer programming ; Congresses ; Computer science ; Mathematics ; Congresses ;
79. Mathematics of program construction
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer programming ; Congresses. ; Computer science ; Mathematics ; Congresses. ;
80. Mathematics of program construction
المؤلف: Jeremy Gibbons, Pablo Nogueira (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming-- Mathematics, Congresses,Computer programs-- Mathematics, Congresses
رده :
QA76
.
6
.
M6926
2012eb
